This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups ...(展开全部)

Sociologist Ashley Mears takes us behind the brightly lit runways and glossy advertisements of the fashion industry in this insider's study of the world of modeling. Mears, who worked as a model in New York and London, draws on observations as well as extensive interviews with male and female models, agents, clients, photographers, stylists, and others, to explore the economics...(展开全部)

Sociologist Ashley Mears takes us behind the brightly lit runways and glossy advertisements of the fashion industry in this insider's study of the world of modeling. Mears, who worked as a model in New York and London, draws on observations as well as extensive interviews with male and female models, agents, clients, photographers, stylists, and others, to explore the economics...(展开全部)

Sociologist Ashley Mears takes us behind the brightly lit runways and glossy advertisements of the fashion industry in this insider's study of the world of modeling. Mears, who worked as a model in New York and London, draws on observations as well as extensive interviews with male and female models, agents, clients, photographers, stylists, and others, to explore the economics...(展开全部)

Sociologist Ashley Mears takes us behind the brightly lit runways and glossy advertisements of the fashion industry in this insider's study of the world of modeling. Mears, who worked as a model in New York and London, draws on observations as well as extensive interviews with male and female models, agents, clients, photographers, stylists, and others, to explore the economics...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

This is a comprehensive manual of creative drawing covering everything you need to know to draw the human figure from memory and the imagination. It fires the imagination for drawing, beyond what can be posed in a studio or drawn from observation, to bring originality and style to your work. It explores anatomical structure, figure movement and character expression with practic...(展开全部)

Learn how to create, train, and tweak large language models (LLMs) by building one from the ground up! In Build a Large Language Model (from Scratch), you’ll discover how LLMs work from the inside out. In this insightful book, bestselling author Sebastian Raschka guides you step by step through creating your own LLM, explaining each stage with clear text, diagrams, and examples...(展开全部)

This is a comprehensive manual of creative drawing covering everything you need to know to draw the human figure from memory and the imagination. It fires the imagination for drawing, beyond what can be posed in a studio or drawn from observation, to bring originality and style to your work. It explores anatomical structure, figure movement and character expression with practic...(展开全部)